翻訳と辞書 Words near each other ・ Extended finite element method ・ Extended finite-state machine ・ Extended Groth Strip ・ Extended Hückel method ・ Extended Industry Standard Architecture ・ Extended interaction oscillator ・ Extended interframe space ・ Extended irreversible thermodynamics ・ Extended Kalman filter ・ Extended Log Format ・ Extended matching items ・ Extended memory ・ Extended metal atom chains ・ Extended metaphor ・ Extended mind thesis ・ Extended ML ・ Extended MMX ・ Extended Movement ・ Extended negative binomial distribution ・ Extended Net (Chinese constellation) ・ Extended newsvendor model ・ Extended Noise ・ Extended Opportunity Programs and Services ・ Extended order ・ Extended Parallel Process Model ・ Extended peer review ・ Extended periodic table ・ Extended periodic table (large version) ・ Extended physiological proprioception ・ Extended play Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Extended ML ： ウィキペディア英語版 Extended ML Extended ML is a wide-spectrum language covering both specification and implementation and based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable SML program with respect to the original specification can then be established by proving the correctness of each of the refinement steps. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification. Extended ML is neither related to the programming language Extensible ML (other than being similarly derived from ML), nor to the specification language eXtensible Markup Language. ==External links== *(Don Sannella — Information about Extended ML ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Extended ML」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.